with (a) b = c